$\forall$${\it the\_w}$:World, $l$:IdLnk, $i$:Id, $a$:Action($i$).
\\[0ex]isrcv($l$;$a$) $\Rightarrow$ \{$\neg$isnull($a$) \& isrcv(kind($a$)) \& lnk(kind($a$)) $=$ $l$\}